13

Specifying and verifying PLC systems with TLA+ : A case study

Year:
2010
Language:
english
File:
PDF, 499 KB
english, 2010
15

Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Year:
2014
Language:
english
File:
PDF, 476 KB
english, 2014
17

Thermo-elastoplastic constitutive model for unsaturated soils

Year:
2016
Language:
english
File:
PDF, 2.65 MB
english, 2016
30

Modeling job shop scheduling with batches and setup times by timed Petri nets

Year:
2009
Language:
english
File:
PDF, 810 KB
english, 2009